Conflicting imperatives and dyadic deontic logic

Conflicting Imperatives and Dyadic Deontic Logic

Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to handle normative conflicts were devised by B. van Fraassen and J. F. Horty, but these are not sensitive to circumstances. The present paper extends these resolution mechanisms to circumstantial inputs, defines dyadic ...

Imperatives and Deontic Logic

Deontic logic has so far been almost exclusively interpreted by a possible worlds semantics and ideality or preference relations between the worlds. In distinguishing itself from attempts at a logic of norms or logic of imperatives, deontic logic has portrayed its formulas as ‘deontic propositions’, true or false statements about what is obligatory, permitted or forbidden according to some unsp...

An analysis of Hansson's dyadic deontic logic

Recently, Bengt Hansson presented a paper about dyadic deontic logic,* criticizing some purely axiomatic systems of dyadic deontic logic and proposing three purely semantical systems of dyadic deontic logic which he confidently called dyadic standard systems of deontic logic (DSDLI-3). Here I shall discuss the third by far most interesting system DSDL3 which is operating with preference relatio...

Deontic Modality of Imperatives

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, faithful. The work presented here provides the theoretical foundation for the implementation and automation of dyadic deontic logic within off-the-shelf higherorder theorem provers and proof assistants.